Nuprl Definition : b-union
11,40
postcript
pdf
b-union(
A
;
B
) == tunion(
;
x
.if
x
then
A
else
B
fi )
latex
Definitions
if
b
then
t
else
f
fi
,
FDL editor aliases
b-union
origin
; x.if x then A else B fi ) ; x.if x then A else B fi )